Proof-Theoretical Investigation of Venn Diagrams: A Logic Translation and Free Rides
نویسنده
چکیده
In the literature on diagrammatic reasoning, Venn diagrams are abstractly formalized in terms of minimal regions. In view of the cognitive process to recognize Venn diagrams, we modify slightly the formalization by distinguishing conjunctive, negative, and disjunctive regions among possible regions in Venn diagrams. Then we study a logic translation of the Venn diagrammatic system with the aim of investigating how our inference rules are rendered to resolution calculus. We further investigate the free ride property of the Venn diagrammatic system. Free ride is one of the most basic properties of diagrammatic systems and it is mainly discussed in cognitive science literature as an account of the inferential efficacy of diagrams. The soundness of our translation shows that a free ride occurs between the Venn diagrammatic system and resolution calculus. Furthermore, our translation provides a more in-depth analysis of the free ride. In particular, we calculate how many pieces of information are obtained in the manipulation of Venn diagrams.
منابع مشابه
A Brief Proof of the Full Completeness of Shin's Venn Diagram Proof System
In a article in the Journal of Philosophical Logic in 1996, “Towards a Model Theory of Venn Diagrams,” (Vol. 25, No. 5, pp. 463–482), Hammer and Danner proved the full completeness of Shin’s formal system for reasoning with Venn Diagrams. Their proof is eight pages long. This note gives a brief 5 line proof of this same result, using connections between diagrammatic and sentential representations.
متن کاملA Logical Investigation of Heterogeneous Reasoning with Graphs in Elementary Economics
Heterogeneous reasoning, which combines various sentential, diagrammatic, and graphical representations, is a salient component of logic, mathematics, and computer science. Another remarkable field in which it is applied is economics. In economics, various functions such as supply and demand functions are represented by graphs, which are used to explain and derive economic laws. In this paper, ...
متن کاملProof Theory for Reasoning with Euler Diagrams: A Logic Translation and Normalization
Proof-theoretical notions and techniques, which are developed based on sentential/symbolic representations of formal proofs, are applied to Euler diagrams. A translation of an Euler diagrammatic system into a natural deduction system is given, and the soundness and faithfulness of the translation are proved. Some consequences of the translation are discussed in view of the notion of free ride, ...
متن کاملDrawing Area-Proportional Venn and Euler Diagrams
We consider the problem of drawing Venn diagrams for which each region’s area is proportional to some weight (e.g., population or percentage) assigned to that region. These area-proportional Venn diagrams have an enhanced ability over traditional Venn diagrams to visually convey information about data sets with interacting characteristics. We develop algorithms for drawing area-proportional Ven...
متن کاملOn the expressiveness of spider diagrams and commutative star-free regular languages
Spider diagrams provide a visual logic to express relations between sets and their elements, extending the expressiveness of Venn diagrams. Sound and complete inference systems for spider diagrams have been developed and it is known that they are equivalent in expressive power to monadic first-order logic with equality, MFOL[1⁄4]. languages that are finite unions of languages of the form K G , ...
متن کامل